- 定理證明
- theorem: n. 1.(能證明的)一般原理，公理，定律，法則。 2. ...
- prove: vt. ( -d; -d, 〔古、美〕 proven ) ...
- automated theorem proving: 自定理明; 自動定理證明
- automatic theorem proving: 自動定理證明
- mechanical theorem proving: 機器證明
下載手機詞典可隨時隨地查詞查翻譯
theorem proving中文什么意思
- 定理證明
下載手機詞典可隨時隨地查詞查翻譯
例句與用法
- 更多例句： 下一頁
- A member of the herbrand base is called atom in automatic theorem proving
在自動定理證明中,海爾勃朗基的成員也稱為原子。 - A new method based on numeric computation for automated geometric theorem proving and discovering is shown
摘要該文提出了利用數(shù)值方法進行幾何定理自動搜索的方法，并基于此方法開發(fā)了幾何定理動態(tài)搜索系統(tǒng)。 - Singapore : world scientific , 1994 . 4 li h , wu y . automated theorem proving in projective geometry with cayley and bracket algebras
其中特征列方法是定理機器證明與方程求解的基礎，也是數(shù)學機械化領域目前研究的核心內(nèi)容。 - An convergence theorem proved and in order to speed convergence of working - set algorithm , constrained matrix derived from abs in working - set method corrected
為提高算法的收斂速度，對工作集算法中由abs算法生成的約束陣進行了校正 - In this paper , we do two things . first , for theorem proving problem such like ( vx ) ( 3y ) p ( x , y ) , we present a method for extracting procedure from the proofs generated by the resolution principle
) y ) p ( x ， y )的定理證明問題，本文從分析歸結證明樹中的每個節(jié)點入手，提取歸結證明的過程信息，生成一個程序。